An Overview of the ISO
نویسندگان
چکیده
VDM-SL, the notation incorporated in the formal method VDM, is currently being standardized under auspices of the International Standards Institution (ISO) and the British Standards Institution (BSI). It is one of the few formal languages of which the syntax and the semantics have been completely formally defined. In this paper we present an overview of the standard, including a report on the current status of the standardization effort.
منابع مشابه
An Overview of Insecticidal Properties of Mentha longifolia L. in Iran
Introduction: The excessive and repetitive application of chemical insecticides has been associated with environmental and health issues. Nowadays, the use of medicinal and aromatic plants, as natural resources of each country, has been developed significantly in herbal medicine. Many studies have been carried out towards the application of essential oils. Among the medicinal plants, Mentha lon...
متن کاملProposing a quantitative approach to measure the success of energy management systems in accordance with ISO 50001: 2011 using an analytical hierarchy process (AHP)
ISO 50001: 2011 provides an integrated and systematic framework to plan, implement, operate, certify, and maintain energy management systems (EMSs). Evaluation of organizations in relation to meeting the standard requirements is performed by an auditing qualitative approach. In this research, a quantitative approach has been proposed and implemented to assess organizations and rank them based o...
متن کاملA survey of Compliance of Persian Abstracts of Research Articles in Medical Journals of Universities of Medical Sciences (Type 1) with the Vancouver Guideline and ISO 214 Standard
Background & Aims: An abstract is the best source of information within a content. The structured abstract is the best representation of the main source. Writing an appropriate abstract requires adherence to standards of abstracting. The aim of this study wasto investigate the compliance of Persian abstracts of research papers in medical journals of universities of medical sciences (type 1) wit...
متن کاملComparison of a local made temporary cement (P-cem), with an imported brand (Temp Bond) using ISO 3107 criteria
Comparison of a local made temporary cement (P-cem), with an imported brand (Temp Bond) using ISO 3107 criteria Dr. Fallahi, M.R.* - Dr. Bayan Zadeh, S.M.** - Dr. Malkomian, L.*** *Dentist. **Assistant Professor of Prosthodontics Dept., Faculty of Dentistry, Tehran University / Medical Sciences. ***Statistician. Abstract Background & Aim: The local made eugenol-free temporary cement (P-cem) has...
متن کاملMedicine and Public Issues: An Overview of the Medical Education Program
There is no English abstract.
متن کاملThe Role of Stem Cell Therapy in Multiple Sclerosis: an Overview of the Current Status of the Clinical Studies
The complexity of multiple sclerosis (MS) and the incompetence of a large number of promise treatments in MS urge us to plan new and more effective therapeutic approaches that aim to suppress ongoing autoimmune responses and induction of local endogenous regeneration. Emerging data propose that hematopoietic, mesenchymal and neural stem cells have the potential to restore self-tolerance, to pro...
متن کامل